| 1. Identificação | |||||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | ||||||
| Site | mtc-m16d.sid.inpe.br | ||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | ||||||
| Identificador | 8JMKD3MGP7W/37FMBAB | ||||||
| Repositório | sid.inpe.br/mtc-m19@80/2010/05.12.18.42 | ||||||
| Repositório de Metadados | sid.inpe.br/mtc-m19@80/2010/05.12.18.42.43 | ||||||
| Última Atualização dos Metadados | 2018:06.05.04.36.40 (UTC) administrator | ||||||
| Chave de Citação | Mattiello-Francisco:2009:AbTeIn | ||||||
| Título | InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software  | ||||||
| Título Alternativo | x | ||||||
| Ano | 2009 | ||||||
| Data | 2009-12-15 | ||||||
| Data de Acesso | 15 maio 2024 | ||||||
| Tipo da Tese | Tese de Doutorado | ||||||
| Tipo Secundário | TAE | ||||||
| 2. Contextualização | |||||||
| Autor | Mattiello-Francisco, Maria de Fátima | ||||||
| Banca | Edgar Toshiro Yano, Orientador Eliane Martins, Co-orientador | ||||||
| Universidade | ITA | ||||||
| Cidade | São José dos Campos - SP | ||||||
| Histórico (UTC) | 2010-05-12 18:50:25 :: jefferson -> administrator :: 2018-06-05 04:36:40 :: administrator -> marciana :: 2009 | ||||||
| 3. Conteúdo e estrutura | |||||||
| É a matriz ou uma cópia? | é a matriz | ||||||
| Estágio do Conteúdo | concluido | ||||||
| Transferível | 1 | ||||||
| Tipo do Conteúdo | External Contribution | ||||||
| Palavras-Chave | Confiabilidade de software Especificação formal Estudo de casos Verificação formal | ||||||
| Resumo | Os estudos realizados no presente trabalho de tese abrangem o processo de integração de subsistemas de tempo real intensivos em software e o formalismo de geração de casos de teste. A integração de subsistemas é uma fase altamente onerosa em tempo e recursos de teste de projetos de sistemas críticos tais como plataformas de satélites. São investigados testes baseados em modelos de estado que representam a interação dos subsistemas comunicantes. O problema pesquisado é o formalismo adequado para representar requisitos de tempo no modelo comportamental da interação de modo que casos de teste possam ser derivados por métodos automáticos. Com foco na modelagem dos serviços providos pelos subsistemas em integração, propõe-se um arcabouço para teste de interoperabilidade e de robustez composto por cinco elementos estruturantes: (1) perfil do serviço, (2) modelo nominal do serviço, (3) perigos de tempo, (4) modelo aumentado do serviço, e (5) propósito de teste. O arcabouço, denominado InRob, orienta a construção de modelos formais de interoperabilidade os quais representam o comportamento de um serviço em um dado estágio de integração. Os modelos são estendidos com propriedades de tempo de modo que possam ser derivados casos de teste de robustez, relativos a desvios de tempo na troca de mensagens entre os subsistemas. A validação da abordagem InRob é feita no domínio de subsistemas espaciais, na integração dos subsistemas que compõem um instrumento imageador (telescópio) de raios X a bordo de uma missão de satélite de astronomia. Nesse estudo de caso, o InRob é instanciado em um processo de teste composto por três etapas, duas delas apoiadas por ferramentas existentes para geração e execução de casos de teste. | ||||||
| Área | INFO | ||||||
| Conteúdo da Pasta doc | não têm arquivos | ||||||
| Conteúdo da Pasta source |
| ||||||
| Conteúdo da Pasta agreement | não têm arquivos | ||||||
| 4. Condições de acesso e uso | |||||||
| Idioma | pt | ||||||
| Grupo de Usuários | administrator jefferson | ||||||
| Visibilidade | shown | ||||||
| Detentor da Cópia | SID/SCD | ||||||
| Permissão de Atualização | não transferida | ||||||
| 5. Fontes relacionadas | |||||||
| Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | ||||||
| URL (dados não confiáveis) | http://www.bd.bibl.ita.br/tesesdigitais/lista_resumo.php?num_tese=000556379 | ||||||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | ||||||
| 6. Notas | |||||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber copyright course creatorhistory descriptionlevel dissemination doi e-mailaddress electronicmailaddress format group isbn issn label lineage mark nextedition nexthigherunit notes number numberoffiles numberofpages orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark session shorttitle size sponsor subject targetfile tertiarymark tertiarytype versiontype | ||||||
| 7. Controle da descrição | |||||||
| e-Mail (login) | marciana | ||||||
| atualizar | |||||||